For a hypothetical operator defined as

OperatorB : (T, System.Integer) -> T

the following should hold:

1. When passed in (System.Boolean, System.Any), OperatorB should resolve with the (System.Boolean, System.Integer) -> System.Boolean signature.
2. When passed in (System.Boolean, System.Integer) later during translation, OperatorB should resolve with the (System.Boolean, System.Integer) -> System.Boolean signature. Previous resolution involving System.Any must not affect this resolution.
3. When passed in (FHIR.Quantity, System.Integer), OperatorB should resolve with the (FHIR.Quantity, System.Integer) -> FHIR.Quantity signature.
4. When later passed in (FHIR.Distance, System.Integer), OperatorB should resolve with the (FHIR.Distance, System.Integer) -> FHIR.Distance signature. Previous instantiation of (FHIR.Quantity, System.Integer) with a supertype for OperatorB must not affect this resolution.